Informatique Modèle abstrait dont le concept nous vient d'Alan Turing. Dès 1936, il imagina un appareil permettant de mettre en évidence le fonctionnement des appareils mécaniques de calcul. Ce modèle permet de mesurer les algorithmes, très utilisés en informatique théorique.